1
Геометрия четырех основных подпространств
MATH004Lesson 4
00:00
Четыре основных подпространства любой матрицы $A \in \mathbb{R}^{m \times n}$ не существуют изолированно; они геометрически связаны как пары ортогональных дополнений. Эта «ортогональная архитектура» является предпосылкой для решения несовместных систем с помощью проекций и метода наименьших квадратов. Мы устанавливаем, что пространство строк $C(A^T)$ полностью перпендикулярно нулевому пространству $N(A)$ в $\mathbb{R}^n$, тогда как пространство столбцов $C(A)$ перпендикулярно левому нулевому пространству $N(A^T)$ в $\mathbb{R}^m$.

Определения и ортогональность

Чтобы понять структуру матрицы, мы должны сначала определить, что означает перпендикулярность подпространств. Это гораздо более строгое условие, чем простая ортогональность векторов.

  • Ортогональность подпространств: Два подпространства $V$ и $W$ векторного пространства ортогональны, если каждый вектор $v$ из $V$ перпендикулярен каждый вектору $w$ из $W$. Формально: $v^T w = 0$ для всех $v \in V$ и всех $w \in W$.
  • Ортогональное дополнение ($V^\perp$): Ортогональное дополнение подпространства $V$ содержит каждый вектор, перпендикулярный $V$. Обозначается как $V^\perp$ (читается как «В перп»).

Основная теорема об ортогональности

Центральная идентичность линейной алгебры связывает действие матрицы с геометрией её пространств:

Доказательство для пространства строк

Если $x$ принадлежит нулевому пространству $N(A)$, то $Ax = 0$. Это означает, что скалярное произведение каждой строки $A$ на $x$ равно нулю. Поскольку пространство строк $C(A^T)$ порождается этими строками, каждый вектор в пространстве строк должен быть перпендикулярен $x$.

$$x^T(A^T y) = (Ax)^T y = 0^T y = 0$$

Это приводит к красивому балансу размерностей. В $\mathbb{R}^n$ размерности всегда дополняют друг друга: $\dim(C(A^T)) + \dim(N(A)) = n$. Аналогично, в $\mathbb{R}^m$ имеем $\dim(C(A)) + \dim(N(A^T)) = m$.

Альтернатива Фредгольма

Существует структурная двойственность, при которой ровно одно из этих уравнений имеет решение:

  1. $Ax = b$: Вектор $b$ принадлежит пространству столбцов.
  2. $A^T y = 0$ с $y^T b = 1$: $b$ имеет компоненту в левом нулевом пространстве, что делает систему несовместной.
🎯 Ошибка: две стены
Две стены в комнате кажутся перпендикулярными, но они НЕ являются ортогональными подпространствами! Они оба имеют общую линию пересечения. Поскольку вектор на этой линии не перпендикулярен самому себе ($v^T v \neq 0$), строгое определение не выполняется. Два плоских пространства в $\mathbb{R}^3$ никогда не могут быть ортогональными подпространствами.